содержащая логические средства

См. также в других словарях:

• ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия

• логика символическая —         ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …   Энциклопедия эпистемологии и философии науки

• теоретическая логика —         ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …   Энциклопедия эпистемологии и философии науки

• математическая логика —         ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …   Энциклопедия эпистемологии и философии науки

• система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… …   Словарь-справочник терминов нормативно-технической документации

• ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения — Терминология ГОСТ Р МЭК 61508 4 2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа: 3.7.4 анализ влияния (impact analysis) …   Словарь-справочник терминов нормативно-технической документации

• ГОСТ 28441-99: Картография цифровая. Термины и определения — Терминология ГОСТ 28441 99: Картография цифровая. Термины и определения оригинал документа: 5 (цифровое) картографическое обеспечение: Комплекс мероприятий, направленных на создание, хранение цифровой картографической продукции и выдачу ее… …   Словарь-справочник терминов нормативно-технической документации

• ЗНАНИЕ НЕЯВНОЕ —         скрытое, молчаливое, имплицитное (от лат. implicite в скрытом виде, неявно; противоположное explicite), периферийное в отличие от центрального, или фокального, т.е. находящегося в фокусе сознания. Эмпирич. базис личностного молчаливого… …   Энциклопедия культурологии

• Чичерин, Борис Николаевич — известный юрист и философ. Род. в Тамбове в 1828 г.; до 1868 г. был профессором государственного права в московском университете, в 1882 83 гг. московским городским головой; по выходе в отставку живет в своем имении (село Караул, Кирсановского… …   Большая биографическая энциклопедия

• Чичерин Борис Николаевич — известный юрист и философ. Род. в Тамбове в 1828 г.; до 1868 г. был профессором государственного права в московском университете, в 1882 83 гг. московским городским головой; по выходе в отставку живет в своем имении (село Караул, Кирсановского… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Чичерин, Борис Николаевич — I известный юрист и философ. Род. в Тамбове в 1828 г.; до 1868 г. был профессором государственного права в московском университете, в 1882 83 гг. московским городским головой; по выходе в отставку живет в своем имении (село Караул, Кирсановского… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона